-
Notifications
You must be signed in to change notification settings - Fork 583
Feature/timing update requires signature #11006
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Feature/timing update requires signature #11006
Conversation
let timing = Party.Update.timing party in | ||
let local_state = | ||
Local_state.add_check local_state | ||
Creation_of_timed_account_without_signature |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can you use the existing Update_not_permitted_timing_existing_account
, and remove that old check for account_is_new
?
…iming-update-requires-signature
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Discussing cases where we want vesting schedules to be immutable
in | ||
check_zkapp_failure Transaction_status.Failure.Overflow result ) ) | ||
|
||
let%test_unit "zkApp command, create timed account with wrong authorization" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Could you write a test for correct authorization and a test for the new case (fails when the account is already timed)?
let state_view = | ||
Transaction_snark_tests.Util.genesis_state_view | ||
in | ||
let result = |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
call apply_zkapp_commands_at_slot
instead (for all tests you added)? It applies both in snark and out of snark
…iming-update-requires-signature
Explain your changes:
This PR adds hard-coded checks for signature of timed account.
Explain how you tested your changes:
I added a new unit test for the created of timed account without signature.
Checklist: